1. april 2022

»Konkretno me zelo zanima umetna inteligenca na področju dokazovanja izrekov, kjer se ukvarjam z 'dokazovalnimi pomočniki' in vprašanjem, kako bi nam računalniki pomagali pri odkrivanju novega matematičnega znanja.«

Osebno stališče do uporabe umetne inteligence v matematiki.

Sorodne izjave

Izjave, ki se vsebinsko morda ujemajo z zgornjo, morda pa ne. V vsakem primeru so zanimive.
24. julij 2025

»Ta tehnologija je izjemna, ker zamaje vse.«

Leskovec opisuje transformativni potencial umetne inteligence.